preservation theorems in {l}ukasiewicz model theory

نویسندگان

seyed-mohammad bagheri

morteza moniri

چکیده

we present some model theoretic results for {l}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by chang and keisler.we prove compactness theorem with respect to the class of allstructures taking values in the {l}ukasiewicz $texttt{bl}$-algebra.we also prove some appropriate preservation theorems concerning universal and inductive theories.finally, skolemization and morleyization in this framework are discussed andsome natural examples of fuzzy theories are presented.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Preservation Theorems in Lukasiewicz Model Theory

We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...

متن کامل

Preservation theorems in {L}ukasiewicz \model theory

We present some model theoretic results for {L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {L}ukasiewicz $texttt{BL}$-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemizatio...

متن کامل

Preservation Theorems in Finite Model Theory

We develop various aspects of the finite model theory of Lk(there exists) and Lk∞omega(there exists). We establish the optimality of normal forms for Lk∞omega(there exists) over the class of finite structures and demonstrate separations over the class of finite structures and demonstrate separations among descriptive complexity classes within Lk∞omega(there exists). We establish negative result...

متن کامل

Preservation Theorems in Finite Model Theory ? Eric Rosen ? ?

We develop various aspects of the nite model theory of L k (9) and L k 1! (9). We establish the optimality of normal forms for L k 1! (9) over the class of nite structures and demonstrate separations among descriptive complexity classes within L k 1! (9). We establish negative results concerning preservation theorems for L k (9) and L k 1! (9). We introduce a generalized notion of preservation ...

متن کامل

Security Theorems via Model Theory

A model-theoretic approach can establish security theorems, which are formulas expressing authentication and non-disclosure properties of protocols. Security theorems have a special form, namely quantified implications ∀~x .(φ ⊃ ∃~y .ψ). Models (interpretations) for these formulas are skeletons, partially ordered structures consisting of a number of local protocol behaviors. Realized skeletons ...

متن کامل

Proof Theory for First Order Lukasiewicz Logic

An approximate Herbrand theorem is proved and used to establish Skolemization for first-order Łukasiewicz logic. Proof systems are then defined in the framework of hypersequents. In particular, extending a hypersequent calculus for propositional Łukasiewicz logic with usual Gentzen quantifier rules gives a calculus that is complete with respect to interpretations in safe MV-algebras, but lacks ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید


عنوان ژورنال:
iranian journal of fuzzy systems

ناشر: university of sistan and baluchestan

ISSN 1735-0654

دوره 10

شماره 3 2013

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023